Dynamic program analysis - PDFSEARCH.IO - Document Search Engine

Dynamic program analysis
Results: 117

#	Item
11	PDF Document Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2016-05-26 17:41:56 Type theory Object-oriented programming languages Scripting languages Program analysis Type system Objective-C Ruby Dynamic programming language Fold Library JavaScript Monad
12	Finding Your Cronies: Static Analysis for Dynamic Object Colocation Samuel Z. Guyer Kathryn S. McKinley Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2006-08-04 15:25:25 Computing Software engineering Data types Memory management Static program analysis Primitive types Object-oriented programming languages Colocation centre Escape analysis Garbage collection Garbage Reference
13	HI-CFG: Construction by Dynamic Binary Analysis, and Application to Attack Polymorphism Dan Caselden, Alex Bazhanyuk, Mathias Payer, Stephen McCamant, Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 CFG Program analysis
14	Pin: Building Customized Program Analysis Tools with Dynamic Instrumentation Chi-Keung Luk Robert Cohn Robert Muth Harish Patil Artur Klauser Steven Wallace Vijay Janapa Reddi Add to Reading List Source URL: www.cs.virginia.edu Language: English - Date: 2005-12-12 21:46:26
15	Enforcing Textual Alignment of Collectives Using Dynamic Checks ? Amir Kamil Katherine Yelick Add to Reading List Source URL: titanium.cs.berkeley.edu Language: English - Date: 2010-05-05 00:03:14 Computing Software engineering Computer programming Parallel computing C++ Concurrent computing Compiler construction Thread OpenMP Synchronization Optimizing compiler Program analysis
16	Binary Analysis for Measurement and Attribution of Program Performance Nathan R. Tallent John M. Mellor-Crummey Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2009-05-17 12:50:50 Subroutines Call stack Stack Pointer Optimizing compiler Tail call Inline expansion Profiling Function prologue Fortran Call graph C dynamic memory allocation
17	Fact sheet MACSI MACSI - Marine Crane Simulation A program for dynamic analysis of subsea crane operations for evaluation of system performance and operational limits, including: Add to Reading List Source URL: www.sintef.no Language: English - Date: 2014-11-17 09:24:08
18	Understanding a System’s Architecture Dirk Heuzeroth Universit¨at Karlsruhe IPD, Program Structures Group Postfach 6980, 76128 Karlsruhe, Germany Add to Reading List Source URL: arisa.se Language: English - Date: 2013-01-05 08:50:50 Program analysis Type system Call graph Static program analysis Java Software visualization C dynamic memory allocation Object-oriented programming Analysis Computing Software engineering Computer programming
19	Symbolic Execution for Software Testing in Practice – Preliminary Assessment Imperial College London Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-04-25 20:08:55 Computing Concolic testing Symbolic execution Java Pathfinder Test Data Generation Fuzz testing KeY Model checking Dynamic program analysis Software testing Formal methods Software development
20	Sunbelt XXXI Conference Workshop Program Workshop Schedule by Date and Time with ID February 8 – Morning (8am – 11am) 1 Add to Reading List Source URL: www.insna.org Language: English - Date: 2014-09-27 18:30:45 Data analysis Network theory Sociology Dynamic network analysis Social network analysis Kathleen Carley Network science Data mining Visualization Science Networks Knowledge

UPDATE